Admissible rule - PDFSEARCH.IO - Document Search Engine

Admissible rule
Results: 97

#	Item
61	Reasoning About Higher-Order Relational Specifications Kaustuv Chaudhuri INRIA, France [removed] Yuting Wang Add to Reading List Source URL: arxiv.org Language: English - Date: 2013-08-06 01:04:09 Admissible rule Entailment Natural deduction Logic Deduction Symbol
62	A Proof Theory for Generic Judgments Dale Miller ´ INRIA-Futurs & Ecole polytechnique and Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2004-12-10 01:52:56 Model theory Proof theory Deduction Admissible rule Modal logic Natural deduction Symbol Sequent calculus Parity of a permutation Logic Mathematical logic Mathematics
63	MUltseq: a Generic Prover for Sequents and Equations? Angel J. Gil1 and Gernot Salzer2 1 Universitat Pompeu Fabra, Barcelona, [removed] Add to Reading List Source URL: www.logic.at Language: English - Date: 2001-07-23 14:16:25 Sequent calculus Sequent Many-valued logic Łukasiewicz logic Truth table Natural deduction Admissible rule Logic Mathematical logic Proof theory
64	MUltseq: Sequents, Equations and Beyond Angel Gil Universitat Pompeu Fabra Add to Reading List Source URL: www.logic.at Language: English - Date: 2001-07-23 13:40:10 Mathematics Sequent calculus Sequent Cut-elimination theorem Admissible rule Natural deduction Mathematical logic Proof theory Logic
65	MUltseq: Sequents, Equations, and Beyond? Angel J. Gil1 and Gernot Salzer2 1 Universitat Pompeu Fabra, [removed] 2 Add to Reading List Source URL: www.logic.at Language: English - Date: 2001-07-23 13:39:33 Non-classical logic Logic in computer science Propositional calculus Sequent Intuitionistic logic Many-valued logic Admissible rule Natural deduction Mathematical logic Logic Proof theory
66	Higher-Order Constraint Simplification In Dependent Type Theory Jason Reed ∗ Carnegie Mellon University Pittsburgh, USA [removed] Add to Reading List Source URL: jcreed.org Language: English - Date: 2009-10-03 17:03:20 Logic programming Unification Admissible rule Mathematics Substitution of variables Symbol Mathematical logic Automated theorem proving Logic
67	The Focused Constraint Inverse Method for Intuitionistic Modal Logics Sean McLaughlin and Frank Pfenning Carnegie Mellon University Abstract. We present a focused inverse method for proof search in a variety of Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2010-01-25 08:50:19 Philosophical logic Model theory Deduction Modal logic Natural deduction Admissible rule Entailment Curry–Howard correspondence Kripke semantics Logic Mathematical logic Proof theory
68	Dialectic proof procedures for assumption-based, admissible argumentation 3 February 2005 P.M. Dung Division of Computer Science, Asian Institute of Technology PO Box 2754, Bangkok 10501, Thailand Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2005-02-07 09:13:13 Deduction Critical thinking Reasoning Argumentation theory Argument Inference Modus ponens Rule of inference Entailment Logic Arguments Logical consequence
69	Lightweight Monadic Programming in ML Nikhil Swamy Nataliya Guts Daan Leijen Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2011-05-16 12:51:55 Mathematical logic Mathematics Type theory Monad Type class Valuation Admissible rule Natural deduction Adjoint functors Functional programming Software engineering
70	Automated Verification of Selected Equivalences for Security Protocols Bruno Blanchet Mart´ın Abadi C´edric Fournet Add to Reading List Source URL: prosecco.gforge.inria.fr Language: English - Date: 2012-10-01 13:05:01 Model theory Theoretical computer science Group theory Parity Parity of a permutation Permutations Lp space Admissible rule Structure Mathematics Logic Algebra

UPDATE